/home/correa/workspace/pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.15 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           40.0000       77.6358     1523   94.09%
      0     0       76.3311   250       40.0000      User: 68     1813   90.83%
      0     0       74.8668   250       40.0000      Cuts: 75     2128   87.17%
*     0+    0                           41.0000       74.8668     2128   82.60%
      0     0       74.2223   249       41.0000      Cuts: 80     2354   81.03%
      0     0       73.1003   246       41.0000      Cuts: 81     2758   78.29%
*     0+    0                           42.0000       73.1003     2758   74.05%
      0     0       72.5380   249       42.0000      Cuts: 78     3071   72.71%
      0     0       72.0019   250       42.0000      Cuts: 64     3321   71.43%
      0     0       71.7667   250       42.0000      Cuts: 39     3504   70.87%
      0     0       71.5572   250       42.0000      Cuts: 42     3662   70.37%
      0     0       71.3580   250       42.0000      Cuts: 45     3824   69.90%
      0     0       71.1929   250       42.0000      Cuts: 42     3952   69.51%
*     0+    0                           43.0000       71.1929     3952   65.56%
      0     0       71.1251   251       43.0000      Cuts: 39     4034   65.41%
      0     0       70.8820   250       43.0000      Cuts: 32     4200   64.84%
      0     0       70.6318   250       43.0000      Cuts: 46     4358   64.26%
      0     0       70.5060   251       43.0000      Cuts: 33     4487   63.97%
      0     0       70.3438   250       43.0000      Cuts: 22     4605   63.59%
      0     0       70.1455   251       43.0000      Cuts: 41     4752   63.13%
      0     0       69.9978   251       43.0000      Cuts: 29     4864   62.79%
      0     0       69.8202   251       43.0000      Cuts: 26     4988   62.37%
      0     0       69.7418   251       43.0000      Cuts: 21     5094   62.19%
      0     0       69.6691   250       43.0000      Cuts: 28     5175   62.02%
      0     0       69.5259   249       43.0000      Cuts: 30     5298   61.69%
      0     0       69.3945   250       43.0000      Cuts: 30     5423   61.38%
      0     0       69.2902   251       43.0000      Cuts: 29     5532   61.14%
      0     0       69.2205   250       43.0000      Cuts: 14     5629   60.98%
      0     0       69.1612   249       43.0000      Cuts: 26     5712   60.84%
      0     0       69.1266   251       43.0000      Cuts: 19     5781   60.76%
      0     0       69.0691   250       43.0000      Cuts: 21     5853   60.63%
      0     0       68.9948   251       43.0000      Cuts: 18     5951   60.45%
      0     0       68.9504   251       43.0000      Cuts: 10     6021   60.35%
      0     0       68.8985   250       43.0000      Cuts: 16     6083   60.23%
      0     0       68.8093   251       43.0000      Cuts: 26     6173   60.02%
      0     0       68.7379   251       43.0000      Cuts: 25     6272   59.86%
      0     0       68.6887   251       43.0000      Cuts: 11     6332   59.74%
      0     0       68.6596   251       43.0000      Cuts: 22     6394   59.67%
      0     0       68.5902   251       43.0000 UserPurge2: 14     6479   59.51%
      0     0       68.4909   251       43.0000 UserPurge2: 16     6586   59.28%
      0     0       68.4060   251       43.0000      Cuts: 24     6676   59.08%
      0     0       68.3516   251       43.0000      Cuts: 14     6758   58.96%
      0     0       68.2555   251       43.0000      Cuts: 17     6875   58.73%
      0     0       68.2417   251       43.0000      Cuts: 16     6917   58.70%
      0     0       68.2292   251       43.0000       Cuts: 6     6956   58.67%
      0     0       68.1795   251       43.0000      Cuts: 10     7059   58.56%
      0     0       68.1284   251       43.0000 UserPurge2: 9     7128   58.44%
      0     0       68.0976   251       43.0000      Cuts: 13     7173   58.37%
      0     0       68.0665   251       43.0000      Cuts: 17     7233   58.29%
      0     0       67.9808   251       43.0000      Cuts: 13     7311   58.09%
      0     0       67.9738   251       43.0000      Cuts: 19     7342   58.08%
      0     0       67.9157   251       43.0000      Cuts: 11     7428   57.94%
      0     0       67.8903   250       43.0000      Cuts: 16     7474   57.88%
      0     0       67.8663   250       43.0000 UserPurge2: 10     7537   57.83%
      0     0       67.8507   251       43.0000 UserPurge2: 5     7575   57.79%
      0     0       67.8398   251       43.0000 UserPurge2: 6     7608   57.77%
      0     0       67.8318   251       43.0000       Cuts: 9     7641   57.75%
      0     0       67.7908   251       43.0000 UserPurge2: 10     7709   57.65%
      0     0       67.7745   250       43.0000 UserPurge2: 7     7766   57.62%
      0     0       67.7470   250       43.0000      Cuts: 15     7823   57.55%
      0     0       67.7299   250       43.0000      Cuts: 12     7870   57.51%
      0     0       67.7109   249       43.0000 UserPurge2: 6     7918   57.47%
      0     0       67.6880   250       43.0000 UserPurge2: 10     7954   57.41%
      0     0       67.6553   251       43.0000 UserPurge2: 8     8017   57.34%
      0     0       67.6284   251       43.0000      Cuts: 11     8050   57.28%
      0     0       67.5791   250       43.0000      Cuts: 15     8128   57.16%
      0     0       67.5611   250       43.0000      Cuts: 12     8182   57.12%
      0     0       67.5408   251       43.0000      Cuts: 15     8253   57.07%
      0     0       67.5211   251       43.0000      Cuts: 11     8300   57.03%
      0     0       67.5155   251       43.0000       Cuts: 7     8324   57.01%
      0     0       67.5106   251       43.0000       Cuts: 6     8346   57.00%
      0     0       67.5072   250       43.0000 UserPurge2: 7     8375   56.99%
      0     0       67.4830   251       43.0000 UserPurge2: 10     8451   56.94%
      0     0       67.4610   251       43.0000      Cuts: 12     8507   56.89%
      0     0       67.4535   251       43.0000 UserPurge2: 6     8549   56.87%
      0     0       67.4441   251       43.0000       Cuts: 8     8586   56.85%
      0     0       67.4233   251       43.0000 UserPurge2: 6     8644   56.80%
      0     0       67.4175   251       43.0000      Cuts: 12     8679   56.78%
      0     0       67.4136   251       43.0000       Cuts: 7     8715   56.78%
      0     0       67.4083   251       43.0000 UserPurge2: 3     8742   56.76%
      0     0       67.3873   250       43.0000 UserPurge2: 3     8779   56.71%
      0     0       67.3871   250       43.0000 UserPurge2: 1     8785   56.71%
      0     0       67.3823   250       43.0000       Cuts: 7     8806   56.70%
      0     0       67.3750   250       43.0000 UserPurge2: 5     8830   56.69%
      0     0       67.3484   251       43.0000 UserPurge2: 8     8889   56.62%
      0     0       67.3422   251       43.0000      Cuts: 10     8929   56.61%
      0     0       67.3352   251       43.0000       Cuts: 8     8969   56.59%
      0     0       67.3329   251       43.0000 UserPurge2: 3     8987   56.59%
      0     0       67.3115   250       43.0000 UserPurge2: 8     9050   56.54%
      0     0       67.3055   250       43.0000 UserPurge2: 9     9083   56.52%
      0     0       67.2985   250       43.0000      Cuts: 10     9110   56.51%
      0     0       67.2856   250       43.0000      Cuts: 11     9159   56.48%
      0     0       67.2601   249       43.0000 UserPurge2: 11     9218   56.42%
      0     0       67.2564   251       43.0000 UserPurge2: 9     9256   56.41%
      0     0       67.2451   251       43.0000 UserPurge2: 8     9291   56.38%
      0     0       67.2240   251       43.0000      Cuts: 11     9334   56.33%
      0     0       67.2184   251       43.0000 UserPurge2: 5     9363   56.32%
      0     0       67.2090   251       43.0000 UserPurge2: 7     9391   56.30%
      0     0       67.2027   251       43.0000 UserPurge2: 9     9428   56.29%
      0     0       67.1912   251       43.0000 UserPurge2: 5     9460   56.26%
      0     0       67.1855   251       43.0000 UserPurge2: 6     9492   56.25%
      0     0       67.1727   251       43.0000 UserPurge2: 11     9523   56.22%
      0     0       67.1639   250       43.0000 UserPurge2: 6     9562   56.20%
      0     0       67.1622   250       43.0000       Cuts: 7     9580   56.19%
      0     0       67.1534   250       43.0000 UserPurge2: 11     9607   56.17%
      0     0       67.1466   250       43.0000 UserPurge2: 8     9626   56.15%
      0     0       67.1453   250       43.0000      Cuts: 11     9642   56.15%
      0     0       67.1313   250       43.0000       Cuts: 7     9686   56.12%
      0     0       67.1183   251       43.0000 UserPurge2: 9     9730   56.09%
      0     0       67.0957   250       43.0000      Cuts: 14     9793   56.04%
      0     0       67.0879   251       43.0000 UserPurge2: 6     9826   56.02%
      0     0       67.0682   251       43.0000 UserPurge2: 7     9866   55.97%
      0     0       67.0611   250       43.0000 UserPurge2: 8     9889   55.96%
      0     0       67.0593   251       43.0000 UserPurge2: 2     9899   55.95%
      0     0       67.0493   251       43.0000 UserPurge2: 9     9930   55.93%
      0     0       67.0433   251       43.0000 UserPurge2: 2     9951   55.91%
      0     0       67.0423   251       43.0000       Cuts: 5     9963   55.91%
      0     0       67.0404   251       43.0000 UserPurge2: 4     9981   55.91%
      0     0       67.0069   251       43.0000 UserPurge2: 7    10042   55.83%
      0     0       66.9915   251       43.0000      Cuts: 10    10081   55.79%
      0     0       66.9654   251       43.0000 UserPurge2: 11    10128   55.73%
      0     0       66.9564   251       43.0000       Cuts: 9    10162   55.71%
      0     0       66.9360   251       43.0000      Cuts: 15    10217   55.67%
      0     0       66.9290   251       43.0000       Cuts: 6    10248   55.65%
      0     0       66.8932   251       43.0000 UserPurge2: 7    10312   55.57%
      0     0       66.8847   251       43.0000      Cuts: 13    10355   55.55%
      0     0       66.8671   251       43.0000 UserPurge2: 14    10405   55.50%
      0     0       66.8610   251       43.0000      Cuts: 13    10434   55.49%
      0     0       66.8469   251       43.0000 UserPurge2: 3    10488   55.46%
      0     0       66.8356   250       43.0000      Cuts: 11    10544   55.43%
      0     0       66.8257   251       43.0000 UserPurge2: 7    10578   55.41%
      0     0       66.8184   250       43.0000 UserPurge2: 5    10604   55.39%
      0     0       66.8065   251       43.0000 UserPurge2: 3    10648   55.36%
      0     0       66.8001   251       43.0000 UserPurge2: 5    10668   55.35%
      0     0       66.7991   251       43.0000 UserPurge2: 8    10681   55.35%
      0     0       66.7935   251       43.0000 UserPurge2: 6    10706   55.33%
      0     0       66.7744   250       43.0000 UserPurge2: 4    10749   55.29%
      0     0       66.7666   251       43.0000       Cuts: 8    10788   55.27%
      0     0       66.7625   250       43.0000      Cuts: 10    10818   55.26%
      0     0       66.7498   250       43.0000 UserPurge2: 8    10862   55.23%
      0     0       66.7453   250       43.0000 UserPurge2: 6    10889   55.22%
      0     0       66.7324   250       43.0000 UserPurge2: 11    10953   55.19%
      0     0       66.7262   250       43.0000 UserPurge2: 6    10993   55.18%
      0     0       66.7117   250       43.0000 UserPurge2: 5    11030   55.14%
      0     0       66.7026   250       43.0000       Cuts: 8    11060   55.12%
      0     0       66.6856   250       43.0000 UserPurge2: 8    11105   55.08%
      0     0       66.6469   249       43.0000 UserPurge2: 9    11182   54.99%
      0     0       66.6380   250       43.0000 UserPurge2: 9    11215   54.97%
      0     0       66.6268   249       43.0000      Cuts: 13    11257   54.95%
      0     0       66.6207   249       43.0000 UserPurge2: 7    11291   54.93%
      0     0       66.6028   249       43.0000      Cuts: 17    11357   54.89%
      0     0       66.5985   249       43.0000       Cuts: 7    11385   54.88%
      0     0       66.5892   250       43.0000 UserPurge2: 5    11424   54.86%
      0     0       66.5843   249       43.0000 UserPurge2: 8    11456   54.85%
      0     0       66.5716   249       43.0000 UserPurge2: 5    11493   54.82%
      0     0       66.5677   249       43.0000 UserPurge2: 3    11515   54.81%
      0     0       66.5566   249       43.0000 UserPurge2: 10    11561   54.78%
      0     0       66.5411   249       43.0000 UserPurge2: 7    11601   54.75%
      0     0       66.5393   249       43.0000       Cuts: 7    11626   54.74%
      0     0       66.5328   249       43.0000       Cuts: 8    11658   54.73%
      0     0       66.5293   249       43.0000      Cuts: 13    11682   54.72%
      0     0       66.5284   249       43.0000 UserPurge2: 5    11692   54.72%
      0     0       66.5259   249       43.0000 UserPurge2: 8    11716   54.71%
      0     0       66.5194   249       43.0000 UserPurge2: 3    11743   54.70%
      0     0       66.5072   249       43.0000 UserPurge2: 4    11795   54.67%
      0     0       66.5007   249       43.0000 UserPurge2: 8    11828   54.65%
      0     0       66.4992   249       43.0000 UserPurge2: 4    11846   54.65%
      0     0       66.4947   249       43.0000 UserPurge2: 10    11871   54.64%
      0     0       66.4667   249       43.0000      Cuts: 12    11950   54.57%
      0     0       66.4655   249       43.0000       Cuts: 7    11969   54.57%
      0     0       66.4608   249       43.0000 UserPurge2: 6    11998   54.56%
      0     0       66.4570   249       43.0000 UserPurge2: 5    12021   54.55%
      0     0       66.4555   249       43.0000 UserPurge2: 5    12041   54.55%
      0     0       66.4554   249       43.0000 UserPurge2: 1    12048   54.55%
      0     0       66.4486   249       43.0000       Cuts: 9    12080   54.53%
      0     0       66.4442   249       43.0000 UserPurge2: 6    12110   54.52%
      0     0       66.4433   249       43.0000       Cuts: 5    12130   54.52%
      0     0       66.4395   249       43.0000 UserPurge2: 8    12152   54.51%
      0     0       66.4380   249       43.0000 UserPurge2: 2    12174   54.51%
      0     2       66.4380   249       43.0000  Local Cut: 1    12174   54.51%                        0             0
Elapsed time = 131.53 sec. (254955.77 ticks, tree = 0.00 MB, solutions = 5)
      1     3       66.2719   249       43.0000       66.4380    13042   54.51%            x214 N      1      0      1
      2     4       66.1428   249       43.0000       66.4380    13538   54.51%            x178 N      2      1      2
      3     5       66.0582   246       43.0000       66.4380    13900   54.51%             x14 N      3      2      3
      4     6       65.8894   247       43.0000       66.4380    14241   54.51%            x175 N      4      3      4
      5     7       65.6825   246       43.0000       66.4380    14924   54.51%             x99 N      5      4      5
      6     8       65.5672   245       43.0000       66.4380    15762   54.51%             x40 N      6      5      6
      7     9       65.3918   244       43.0000       66.4380    16649   54.51%            x211 N      7      6      7
      8    10       65.2292   243       43.0000       66.4380    17386   54.51%            x148 N      8      7      8
      9    11       65.0105   242       43.0000       66.4380    18104   54.51%             x95 N      9      8      9
     10    12       64.8352   241       43.0000       66.4380    18836   54.51%            x109 N     10      9     10
Elapsed time = 165.06 sec. (320923.07 ticks, tree = 0.05 MB, solutions = 5)
     11    13       64.5519   240       43.0000       66.4380    19700   54.51%             x32 N     11     10     11
     12    14       64.4011   239       43.0000       66.4380    20271   54.51%            x218 N     12     11     12
     13    15       64.2147   238       43.0000       66.4380    20660   54.51%            x177 N     13     12     13
     14    16       64.1204   237       43.0000       66.4380    21065   54.51%            x118 N     14     13     14
     15    17       63.9446   236       43.0000       66.4380    21566   54.51%            x189 N     15     14     15
     16    18       63.7502   235       43.0000       66.4380    22089   54.51%             x23 N     16     15     16
     17    19       63.5367   234       43.0000       66.4380    22457   54.51%             x61 N     17     16     17
     18    20       63.3544   233       43.0000       66.4380    22781   54.51%            x227 N     18     17     18
     19    21       63.1248   231       43.0000       66.4380    23314   54.51%             x79 N     19     18     19
     20    22       62.8755   229       43.0000       66.4380    23846   54.51%            x188 N     20     19     20
Elapsed time = 182.68 sec. (354208.98 ticks, tree = 0.19 MB, solutions = 5)
     21    23       62.6633   230       43.0000       66.4380    24106   54.51%            x103 N     21     20     21
     22    24       62.5003   229       43.0000       66.4380    24522   54.51%             x13 N     22     21     22
     23    25       62.3492   227       43.0000       66.4380    24954   54.51%            x231 N     23     22     23
     24    26       62.1055   227       43.0000       66.4380    25373   54.51%            x153 N     24     23     24
     25    27       61.9196   226       43.0000       66.4380    25883   54.51%             x35 N     25     24     25
     26    28       61.7941   225       43.0000       66.4380    26252   54.51%             x19 N     26     25     26
     27    29       61.5555   223       43.0000       66.4380    26817   54.51%             x64 N     27     26     27
     28    30       61.2462   223       43.0000       66.4380    27503   54.51%            x174 N     28     27     28
     29    31       60.9861   221       43.0000       66.4380    28050   54.51%            x210 N     29     28     29
     30    32       60.7052   220       43.0000       66.4380    28582   54.51%            x223 N     30     29     30
Elapsed time = 199.32 sec. (384935.78 ticks, tree = 0.33 MB, solutions = 5)
     31    33       60.4666   218       43.0000       66.4380    29032   54.51%             x69 N     31     30     31
     32    34       60.2795   217       43.0000       66.4380    29472   54.51%            x243 N     32     31     32
     33    35       60.0916   217       43.0000       66.4380    29907   54.51%             x80 N     33     32     33
     34    36       59.9061   216       43.0000       66.4380    30163   54.51%             x37 N     34     33     34
     35    37       59.7920   215       43.0000       66.4380    30330   54.51%             x38 N     35     34     35
     36    38       59.6377   214       43.0000       66.4380    30542   54.51%            x147 N     36     35     36
     37    39       59.4681   213       43.0000       66.4380    30755   54.51%             x48 N     37     36     37
     38    40       59.2611   210       43.0000       66.4380    30947   54.51%            x122 N     38     37     38
     39    41       59.0801   210       43.0000       66.4380    31355   54.51%             x34 N     39     38     39
     40    42       58.9285   209       43.0000       66.4380    31675   54.51%            x217 N     40     39     40
Elapsed time = 215.39 sec. (415414.30 ticks, tree = 0.40 MB, solutions = 5)
     41    43       58.6384   207       43.0000       66.4380    32081   54.51%             x76 N     41     40     41
     42    44       58.4303   207       43.0000       66.4380    32478   54.51%             x47 N     42     41     42
     43    45       58.2230   207       43.0000       66.4380    32922   54.51%             x83 N     43     42     43
     44    46       57.9634   205       43.0000       66.4380    33457   54.51%             x86 N     44     43     44
     45    47       57.7968   206       43.0000       66.4380    33877   54.51%             x53 N     45     44     45
     46    48       57.6529   204       43.0000       66.4380    34298   54.51%              x3 N     46     45     46
     47    49       57.5330   202       43.0000       66.4380    34619   54.51%            x166 N     47     46     47
     48    50       57.3537   202       43.0000       66.4380    35021   54.51%            x133 N     48     47     48
     49    51       57.1302   199       43.0000       66.4380    35412   54.51%             x84 N     49     48     49
     50    52       56.9255   199       43.0000       66.4380    35659   54.51%            x106 N     50     49     50
Elapsed time = 231.98 sec. (446835.86 ticks, tree = 0.42 MB, solutions = 5)
     51    53       56.7012   197       43.0000       66.4380    36021   54.51%            x187 N     51     50     51
     52    54       56.6364   196       43.0000       66.4380    36210   54.51%            x176 N     52     51     52
     53    55       56.4616   197       43.0000       66.4380    36532   54.51%            x138 N     53     52     53
     54    56       56.2479   196       43.0000       66.4380    36783   54.51%             x62 N     54     53     54
     55    57       56.0761   196       43.0000       66.4380    37217   54.51%            x224 N     55     54     55
     56    58       55.8609   194       43.0000       66.4380    37586   54.51%             x77 N     56     55     56
     57    59       55.5980   193       43.0000       66.4380    37975   54.51%            x198 N     57     56     57
     58    60       55.4262   192       43.0000       66.4380    38235   54.51%             x22 N     58     57     58
     59    61       55.1858   190       43.0000       66.4380    38749   54.51%             x74 N     59     58     59
     60    62       55.0077   190       43.0000       66.4380    39082   54.51%            x101 N     60     59     60
Elapsed time = 247.44 sec. (475512.78 ticks, tree = 0.63 MB, solutions = 5)
     61    63       54.7213   189       43.0000       66.4380    39464   54.51%            x135 N     61     60     61
     62    64       54.4198   187       43.0000       66.4380    39877   54.51%            x196 N     62     61     62
     63    65       54.1095   187       43.0000       66.4380    40336   54.51%            x228 N     63     62     63
     64    66       53.8824   185       43.0000       66.4380    40693   54.51%            x130 N     64     63     64
     65    67       53.5824   186       43.0000       66.4380    41074   54.51%             x50 N     65     64     65
     66    68       53.3464   184       43.0000       66.4380    41523   54.51%            x125 N     66     65     66
     67    69       53.1693   184       43.0000       66.4380    41927   54.51%             x92 N     67     66     67
     68    70       52.8764   183       43.0000       66.4380    42372   54.51%            x183 N     68     67     68
     69    71       52.7254   182       43.0000       66.4380    42678   54.51%            x197 N     69     68     69
     70    72       52.5136   181       43.0000       66.4380    43026   54.51%            x203 N     70     69     70
Elapsed time = 262.28 sec. (501962.50 ticks, tree = 0.70 MB, solutions = 5)
     71    73       52.2675   179       43.0000       66.4380    43366   54.51%            x215 N     71     70     71
     72    74       52.0986   177       43.0000       66.4380    43599   54.51%            x164 N     72     71     72
     73    75       51.7861   176       43.0000       66.4380    44041   54.51%              x2 N     73     72     73
     74    76       51.5633   176       43.0000       66.4380    44301   54.51%            x213 N     74     73     74
     75    77       51.2697   175       43.0000       66.4380    44609   54.51%            x134 N     75     74     75
     76    78       50.8681   174       43.0000       66.4380    45141   54.51%            x169 N     76     75     76
     77    79       50.6837   172       43.0000       66.4380    45353   54.51%            x212 N     77     76     77
     78    80       50.3784   173       43.0000       66.4380    45776   54.51%             x75 N     78     77     78
     79    81       50.2460   171       43.0000       66.4380    45957   54.51%            x143 N     79     78     79
     80    82       49.9629   170       43.0000       66.4380    46401   54.51%            x160 N     80     79     80
Elapsed time = 276.42 sec. (528422.21 ticks, tree = 0.78 MB, solutions = 5)
     81    83       49.7708   169       43.0000       66.4380    46637   54.51%            x149 N     81     80     81
     82    84       49.5181   167       43.0000       66.4380    47016   54.51%            x244 N     82     81     82
     83    85       49.3694   166       43.0000       66.4380    47523   54.51%            x225 N     83     82     83
     84    86       49.1492   165       43.0000       66.4380    47804   54.51%            x186 N     84     83     84
     85    87       48.8812   164       43.0000       66.4380    48147   54.51%            x226 N     85     84     85
     86    88       48.6644   163       43.0000       66.4380    48278   54.51%             x98 N     86     85     86
     87    89       48.3586   162       43.0000       66.4380    48654   54.51%            x159 N     87     86     87
     88    90       48.1282   161       43.0000       66.4380    48855   54.51%             x97 N     88     87     88
     96    98       46.5157   154       43.0000       66.4380    50033   54.51%              x8 D     96     95     96
    106   108       44.5243   143       43.0000       66.4380    51155   54.51%            x172 D    106    105    106
Elapsed time = 287.89 sec. (549623.56 ticks, tree = 0.95 MB, solutions = 5)
    114   112       62.5650   223       43.0000       66.2719    53996   54.12%            x240 D    114    113      4
    122   120       61.3603   213       43.0000       66.2719    55681   54.12%             x47 D    122    121     12
    130   128       59.9343   207       43.0000       66.2719    57075   54.12%             x40 D    130    129     20
    138   136       58.4651   196       43.0000       66.2719    58540   54.12%             x69 D    138    137     28
    144   142       57.4499   191       43.0000       66.2719    59408   54.12%            x129 D    144    143     34
    152   150       56.2266   182       43.0000       66.2719    60604   54.12%            x219 D    152    151     42
    160   158       54.6232   173       43.0000       66.2719    61851   54.12%            x147 D    160    159     50
    169   167       52.8218   161       43.0000       66.2719    63045   54.12%            x247 D    169    168     59
    178   176       51.0695   156       43.0000       66.2719    64172   54.12%             x25 D    178    177     68
    212   206       62.0760   221       43.0000       66.1428    69196   53.82%            x178 U    212      1      2
Elapsed time = 298.93 sec. (563595.26 ticks, tree = 1.31 MB, solutions = 5)
    287   281       47.5931   143       43.0000       66.1428    82307   53.82%             x19 D    287    286     77
    393   383       44.1967   125       43.0000       66.0582    99486   53.62%            x204 D    393    392     92
    478   464       45.1340   137       43.0000       65.8894   116139   53.23%            x200 D    478    477     86
    572   554       45.0818   128       43.0000       65.6825